- комбинаторная аксиома
- combinatory axiom мат.
Русско-английский научно-технический словарь Масловского. 2015.
комбинаторная аксиома
Look at other dictionaries:
ГОМОЛОГИИ ТЕОРИЯ — топологических пространств часть алгебраич. топологии, осуществляющая связь между топологич. н алгебраич. понятиями: приводя в соответствие каждому пространству определенную последовательность групп, а непрерывному отображению пространств… … Математическая энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… … Философская энциклопедия
логицизм — ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… … Энциклопедия эпистемологии и философии науки
ПОКРЫТИЕ — множества X любое семейство подмножеств этого множества, объединение к рого есть X. 1) Под П. топологического пространства, равномерного пространства и вообще какого либо множества, наделенного тем или иным строением, понимают произвольное П.… … Математическая энциклопедия
Топология — (от греч. tоpos место и …логия (См. ...Логия) часть геометрии, посвященная изучению феномена непрерывности (выражающегося, например, в понятии предела). Разнообразие проявлений непрерывности в математике и широкий спектр различных… … Большая советская энциклопедия
АЛГЕБРАИЧЕСКАЯ ТОПОЛОГИЯ — область математики, возникшая для изучения таких свойств гео метрич. фигур (в широком смысле любых объектов, где можно говорить о непрерывности) и их отображений друг в друга, к рые не меняются при непрерывных деформациях (гомотопиях). В принципе … Математическая энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
История математики — История науки … Википедия
Перек, Жорж — Жорж Перек Georges Perec Жорж Перек Дата рождения … Википедия
Математика Древнего Востока — История науки По тематике Математика Естественные науки … Википедия
